A <#59#>predicate<#59#> is a procedure that always returns a boolean value (<#60#><#60#> or ). An <#61#>equivalence predicate<#61#> is the computational analogue of a mathematical equivalence relation (it is symmetric, reflexive, and transitive). Of the equivalence predicates described in this section, <#62#>eq?<#62#> is the finest or most discriminating, and <#63#>equal?<#63#> is the coarsest. <#64#>Eqv?<#64#> is slightly less discriminating than <#65#>eq?<#65#>. <#66#>Pitman doesn't like this paragraph. Lift the discussion from the Maclisp manual. Explain why there's more than one predicate.<#66#>